CONFIG_A15MPCORE=y
CONFIG_ACPI=y
CONFIG_ARM_GIC=y
CONFIG_ARM_MPTIMER=y
CONFIG_ARM_SMMUV3=y
CONFIG_ARM_TIMER=y
CONFIG_ARM_V7M=y
CONFIG_ARM_VIRT=y
CONFIG_AUX=y
CONFIG_BITBANG_I2C=y
CONFIG_CPU_CLUSTER=y
CONFIG_FW_CFG_DMA=y
CONFIG_GPIO_KEY=y
CONFIG_PCI_BRIDGE=y
CONFIG_PCI_EXPRESS_GENERIC_BRIDGE=y
CONFIG_PCI_SHPC=y
CONFIG_PCI=y
CONFIG_PFLASH_CFI01=y
CONFIG_PFLASH_CFI02=y
CONFIG_PL011=y
CONFIG_PL031=y
CONFIG_PL061=y
CONFIG_PLATFORM_BUS=y
CONFIG_SERIAL=y
CONFIG_SMBIOS=y
CONFIG_VIRTIO_MMIO=y
